English-Italian translations for heyting algebra
Definition of heyting algebra
- A bounded lattice, ''L'', modified to serve as a model for a logical calculus by being equipped with a binary operation called "implies", denoted → , defined such that ∧''a'≤ ''b'and, moreover, that ''x'= ''a''→''b'is the ''greatest'element such that ''x''∧''a'≤ ''b'(in the sense that if ''c''∧''a'≤ ''b'then ''c'≤ ''a''→''b''
Trending Searches
Popular Dictionaries